Quantificador universal

En lògica matemàtica, es fa servir el símbol , anomenat quantificador universal, anteposat a una variable per dir que "per a tot" element d'un cert conjunt es compleix la proposició donada a continuació. El text es pot representar amb el caràcter ∀. Normalment, en lògica, el conjunt al qual es refereix és l'univers o domini de referència, en el qual apareixen totes les constants.[1]

  1. Diccionario de Filosofía (en castellà). 1a. Barcelona: SPES Editorial (edició especial per a RBA Editoriales), 2003, p. 5 (Biblioteca de Consulta Larousse). ISBN 84-8332-398-2. 

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Tubidy